Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

impredicative extension

Толкование Перевод

1 impredicative extension

Математика: непредикативное расширение

Универсальный англо-русский словарь > impredicative extension
2 impredicative extension

мат.

непредикативное расширение

English-Russian scientific dictionary > impredicative extension
3 extension

1) надставка; насадка

2) удлинитель

3) выступающая часть, консольная часть

4) пристройка

5) продление; продолжение

6) простирание; протяжённость; распространение

7) растяжение; распрямление

8) сварка установочная длина

9) геод. сгущение сети опорных точек

10) расширение; удлинение; добавление; увеличение

11) экстенсия, разгибание

•

extension at fracture — удлинение при изломе

extension in space — матем. протяжённость в пространстве

extension by definition — матем. расширение с помощью определений

extension by adjunction — матем. расширение путём присоединения

- affine extension

- algebra extension

- algebraically closed extension

- almost periodic extension

- analytical extension

- anodyne extension

- arithmetical extension

- atomic extension

- automorphic extension

- axiomatic extension

- basic extension

- bicompact extension

- binomial extension

- bounded extension

- canonical extension

- cantilever extension

- central extension

- circular extension

- closed extension

- cohomological extension

- common extension

- complete extension

- complex extension

- compound group extension

- confinal extension

- conformal extension

- conical extension

- conservative extension

- constant field extension

- continuous extension

- continuously differentiable extension

- contravariant extension

- convex extension

- cord extension

- covariant extension

- cyclic extension

- cyclotomic extension

- cylindrical extension

- definitional extension

- determined extension

- differential extension

- direct extension

- discrete irrational extension

- discrete rational extension

- distal extension

- distinguished extension

- dual extension

- elementary extension

- equationally complete extension

- even extension

- extension of condition

- extension of derivations

- extension of digraph

- extension of distribution

- extension of function

- extension of mapping

- extension of number

- extension of operator

- extension of scalars

- extension of spring

- extension of structure

- extension of strut

- extension of theorem

- field extension

- finitely generated extension

- fixed extension

- flat extension

- free extension

- fully ramified extension

- global extension

- greatest common extension

- group extension

- group-like extension

- harmonic extension

- holomorphic extension

- homotopy extension

- ideal extension

- impredicative extension

- indiscrete irrational extension

- indiscrete rational extension

- inductive extension

- inessential extension

- inferential extension

- infinite extension

- injective extension

- inseparable extension

- integral extension

- intrinsic extension

- irretractable extension

- isometric extension

- isomorphic extension

- jet extension

- least normal extension

- lexicographic extension

- linear extension

- linguistic extension

- linguistically invariant extension

- maximal extension

- meromorphic extension

- minimal extension

- mixed extension of game

- model extension

- mold extension

- monotone extension

- multiple extension

- natural extension

- negation extension

- nested extension

- n-fold transcendental extension

- n-fold transcendental extension

- nonisomorphic extension

- nonlinear extension

- nonramified extension

- nonseparable extension

- nontrivial extension

- norm-preserving extension

- odd extension

- operational extension

- outer extension

- perfect extension

- pointed irrational extension

- pointed rational extension

- positive extension

- prime extension

- principal extension

- proper extension

- proximity extension

- purely essential extension

- purely inseparable extension

- purely ramified extension

- purely transcendental extension

- quadratic extension

- quasianalytic extension

- quasiconformal extension

- quasiinjective extension

- radial extension

- radical extension

- range extension

- recursive extension

- regular extension

- representation extension

- self-adjoint extension

- semiregular extension

- separably algebraic extension

- separably generated extension

- sign extension

- solvable extension

- space extension

- split extension

- splitting extension

- standard extension

- stochastic extension

- strong extension

- strongly normal extension

- subharmonic extension

- symmetric extension

- tamely ramified extension

- theoretical extension

- topological group extension

- totally imaginary extension

- totally ramified extension

- transcendental extension

- transitive extension

- universal central extension

- unramified extension

- virtual extension

- weakly holomorphic extension

- wildly ramified extension

English-Russian scientific dictionary > extension
4 непредикативное расширение

мат. impredicative extension

Большой англо-русский и русско-английский словарь > непредикативное расширение

См. также в других словарях:

Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Morse–Kelley set theory — In the foundation of mathematics, Morse–Kelley set theory (MK) or Kelley–Morse set theory (KM) is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… … Deutsch Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

impredicative extension

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

impredicative extension

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: